1. A pragmatic introduction to the finite element method for thermal and stress analysis
پدیدآورنده : / Petr Krysl
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MATLAB,Formal methods (Computer science),Thermal analysis - Methodology,Thermoelastic stress analysis - Methodology,Thermal conductivity
رده :
QA76
.
9
.
F67K79
2006
2. <A> Pragmatic introduction to the finite element method for thermal and stress analysis
پدیدآورنده : Petr Krysl
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Formal methods (Computer science),Thermal analysis- Methodology,Thermoelastic stress analysis- Methodology,Thermal conductivity,MATLAB
رده :
QA
,
76
.
9
,.
F67
,
K79
,
2005
3. A pragmatic introduction to the finite element method for thermal and stress analysis: with the matlab toolkit SOFEA
پدیدآورنده : Krysl, Petr.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal methods )Computer science(,Methodology ، Thermal analysis,Methodology ، Thermoelastic stress analysis,، Thermal conductivity
رده :
QA
76
.
9
.
F67
K79
2006
4. A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA
پدیدآورنده : Krysl, Petr.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، MATLAB,، Formal methods )Computer science(,Methodology ، Thermal analysis,Methodology ، Thermoelastic stress analysis,، Thermal conductivity
رده :
QA
76
.
9
.
F67
K79
2006
5. A pragmatic introduction to the finite element method for thermal and stress analysis with the matlab toolkit SOFEA
پدیدآورنده : Petr Krysl
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : MATLAB,Formal methods )Computer science(,Thermal analysis,Thermoelastic stress analysis,Thermal conductivity
رده :
QA
76
.
9
.
F67K79
2006
6. A pragmatic introduction to the finite element method for thermal and stress analysis: with the matlab toolkit SOFEA
پدیدآورنده : Krysl, Petr
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal methods )Computer science(,Methodology ، Thermal analysis,Methodology ، Thermoelastic stress analysis,، Thermal conductivity
رده :
QA
76
.
9
.
F67
K79
7. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
8. Agent technology from a formal perspective
پدیدآورنده : edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
9. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
10. Agent technology from a formal perspective
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
11. Algebraic foundations of systems specification
پدیدآورنده : E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Software engineering,، Formal methods )Computer science(,، System design
رده :
QA
76
.
758
.
A437
1999
12. Applied Formal Methods FM-Trends 98
پدیدآورنده : \ [Edited by] Dieter Hutter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
E-Book
,
13. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1641
14. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
15. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
16. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
17. Challenges for action theories
پدیدآورنده : Thielscher, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1775
18. Computer-aided reasoning: an approach
پدیدآورنده : Kaufmann, Matt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal methods )Computer science(,، Sotware engineering,، Expert systems )Computer science(
رده :
QA
76
.
9
.
F67
.
K38
2000
19. Computer performance engineering :
پدیدآورنده : Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2013
20. Computer performance engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ; Stochastic models ; Congresses. ; Computer systems ; Evaluation ; Congresses. ; Leistungsbewertung ; Kongress ; London <2009> ; Leistungsbewertung. ; swd. ;
